* doc/misc/Makefile.in (INFO_INSTALL): Update for 2013-08-28 DOCMISC_W32 change
authorGlenn Morris <rgm@gnu.org>
Tue, 10 Jun 2014 21:07:22 +0000 (17:07 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 10 Jun 2014 21:07:22 +0000 (17:07 -0400)
commit1d4c1852014c663c7544dc038dfefe9699bf0a69
treed7330bf69e008a35f40327db29cfe37ab09b7616
parent4d533e877d631006b7aace37290ba08cf5c21317
* doc/misc/Makefile.in (INFO_INSTALL): Update for 2013-08-28 DOCMISC_W32 change
doc/misc/ChangeLog
doc/misc/Makefile.in